Design verification in model-based μ-controller development using an abstract component

JOURNAL ARTICLE published February 2011 in Software & Systems Modeling

Authors: Yunja Choi | Christian Bunse

Accidental complexity in multilevel modeling revisited

JOURNAL ARTICLE published April 2022 in Software and Systems Modeling

Research funded by United States-Israel Binational Science Foundation (2017742)

Authors: Mira Balaban | Igal Khitron | Azzam Maraee

Coupling solvers with model transformations to generate explorable model sets

JOURNAL ARTICLE published October 2021 in Software and Systems Modeling

Authors: Théo Le Calvar | Fabien Chhel | Frédéric Jouault | Frédéric Saubion

SoSyM reflections of 2017: a journal status report

JOURNAL ARTICLE published February 2018 in Software & Systems Modeling

Authors: Geri Georg | Jeff Gray | Bernhard Rumpe | Martin Schindler

A newly introduced Industry Voice Column

JOURNAL ARTICLE published July 2013 in Software & Systems Modeling

Authors: Tony Clark | Gabor Karsai | Roel J. Wieringa | Robert France | Bernhard Rumpe

Modeling presentation layers of web applications for testing

JOURNAL ARTICLE published April 2010 in Software & Systems Modeling

Authors: Jeff Offutt | Ye Wu

Domain specific modeling

JOURNAL ARTICLE published February 2005 in Software & Systems Modeling

Authors: Robert France | Bernhard Rumpe

Heuristic search for equivalence checking

JOURNAL ARTICLE published May 2016 in Software & Systems Modeling

Authors: Nicoletta De Francesco | Giuseppe Lettieri | Antonella Santone | Gigliola Vaglini

Editorial First Issue of the International Journal on Software and Systems Modeling

JOURNAL ARTICLE published 1 September 2002 in Software and Systems Modeling

Authors: Not Available Not Available

A model-driven runtime environment for Web applications

JOURNAL ARTICLE published November 2005 in Software & Systems Modeling

Authors: Stefan Haustein | Joerg Pleumann

Special section of business process modeling, development and support (BPMDS) 2018: new perspectives for business process modeling, development and support

JOURNAL ARTICLE published November 2020 in Software and Systems Modeling

Authors: Jens Gulden | Rainer Schmidt

Lightweight string reasoning in model finding

JOURNAL ARTICLE published February 2015 in Software & Systems Modeling

Authors: Fabian Büttner | Jordi Cabot

Introduction to the special issue on the 18th international conference on model driven engineering languages and systems (MODELS’15)

JOURNAL ARTICLE published July 2018 in Software & Systems Modeling

Authors: Jordi Cabot | Alexander Egyed

DataMock: An Agile Approach for Building Data Models from User Interface Mockups

JOURNAL ARTICLE published February 2019 in Software & Systems Modeling

Authors: José Matías Rivero | Julián Grigera | Damiano Distante | Francisco Montero | Gustavo Rossi

Introduction to the SoSyM theme issue on models and evolution

JOURNAL ARTICLE published May 2014 in Software & Systems Modeling

Authors: Dalila Tamzalit | Bernhard Schätz | Alfonso Pierantonio | Dirk Deridder

The 2014 “State of the Journal” report

JOURNAL ARTICLE published February 2015 in Software & Systems Modeling

Authors: Robert France | Geri Georg | Bernhard Rumpe | Martin Schindler

Constraint-driven modeling through transformation

JOURNAL ARTICLE published May 2015 in Software & Systems Modeling

Authors: Andreas Demuth | Roberto Erick Lopez-Herrejon | Alexander Egyed

Constructing and verifying a robust Mix Net using CSP

JOURNAL ARTICLE published October 2016 in Software & Systems Modeling

Authors: Efstathios Stathakidis | David M. Williams | James Heather

Security modeling for service-oriented systems using security pattern refinement approach

JOURNAL ARTICLE published May 2014 in Software & Systems Modeling

Authors: Mukhtiar Memon | Gordhan D. Menghwar | Mansoor H. Depar | Akhtar A. Jalbani | Waqar M. Mashwani

Modeling for the cloud

JOURNAL ARTICLE published April 2010 in Software & Systems Modeling

Authors: Robert France | Bernhard Rumpe